src\*.gpr
src\*.adb
src\*.ads
vmc\*.gpr
vmc\*.adb
vmc\*.ads
vmc-examples\*.pml
trace\*.adb
trace\*.ads
trace\*.gpr
list\*.adb
list\*.ads
list\*.gpr
examples\*.pml
examples\*.prp
examples\*.txt
examples\*.java
docs\*.tex
docs\copyright.txt
docs\*.png
docs\*.eps
docs\*.gif
dist\*.html
dist\readme.txt
.gdbinit
*.bat
*.txt
test\*.pml
test\*.prp
extras\*.pml
extras\*.prp
extras\*.adb
